Time Reversibility for Modular
نویسنده
چکیده
We start with a modular K-system that possesses Anosov endomorphisms in both time directions. We extend the system via a crossed product construction. If one of the Anosov endomorphisms can be extended, then also the other one. Also the extensions form a Moebius group and allow a time reeection operator that implements on the algebra an antiisomorphism.
منابع مشابه
A Modular Formalization of Reversibility for Concurrent Models and Languages
Causal-consistent reversibility is the reference notion of reversibility for concurrency. We introduce a modular framework for defining causal-consistent reversible extensions of concurrent models and languages. We show how our framework can be used to define reversible extensions of formalisms as different as CCS and concurrent X-machines. The generality of the approach allows for the reuse of...
متن کاملReversibility reconsidered: finite-state factors for efficient probabilistic sampling in parsing and generation
We restate the classical logical notion of generation/parsing reversibility in terms of feasible probabilistic sampling, and argue for an implementation based on finite-state factors. We propose a modular decomposition that reconciles generation accuracy with parsing robustness and allows the introduction of dynamic contextual factors.
متن کاملModular Reversibility Analysis in Self-loops Connections of Petri Net Systems
It is well known that the use of a modular approach for modeling has many advantages: it allows the modeler to consider different parts of the model independently of one another. A modular approach to analysis is also attractive: it often dramatically decreases the complexity of the analysis task. To create Petri net models of large systems, four bottom-up techniques, consisting of sharing oper...
متن کاملAn Improved Modular Modeling for Analysis of Closed-Cycle Absorption Cooling Systems
A detailed modular modeling of an absorbent cooling system is presented in this paper. The model including the key components is described in terms of design parameters, inputs, control variables, and outputs. The model is used to simulate the operating conditions for estimating the behavior of individual components and system performance, and to conduct a sensitivity analysis based on the give...
متن کاملTotal Hip Arthroplasty with Modular Stem for Dysplastic Hips in South Asian Population
Introduction: Optimum component positioning and orientation is required to optimize the functional result during total hip arthroplasty for dysplastic hips. Patients and methods: Sixty-two patients (66 hips) including 33 males and 29 females underwent total hip arthroplasty using modular stem prosthesis at an average age of 40.6 years (range 17 to 49 years). Nineteen hips were clas...
متن کامل